Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
791	Semantics, Communication, and Probability Jan van Eijck November 5, 2013 Logic, Linguistics, and Intelligent Interaction In logic the distinctions between language, interpretation and communication are quite clear, in na Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:08:11 Modal logic Philosophical logic Model theory Non-classical logic Artificial intelligence Epistemic modal logic Probabilistic logic Common knowledge Kripke semantics Logic Mathematical logic Philosophy
792	Model Checking Uncertainty about Probability Jan van Eijck CWI & ILLC, Amsterdam LIRA Seminar, April 9, 2013 Abstract Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-17 05:30:28 Non-classical logic Philosophical logic Model theory Probabilistic logic Probability Lottery Kripke semantics Logic Mathematical logic Mathematics
793	Action Emulation 1 Jan van Eijck ([removed]) Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2012-03-27 08:46:13 Philosophical logic Modal logic Model theory Non-classical logic Epistemic modal logic Interpretation Kripke semantics Bisimulation Common knowledge Logic Mathematical logic Mathematics
794	Chapter 1 On the Logic of Lying Hans van Ditmarsch, Jan van Eijck, Floor Sietsma, and Yanjing Wang Abstract We model lying as a communicative act changing the beliefs of the agents Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-03 04:30:48 Modal logic Metalogic Non-classical logic Doxastic logic Epistemic modal logic Model theory Entailment Truth Function Logic Mathematical logic Philosophical logic
795	Hundred prisoners and a lightbulb Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:06:52 Philosophical logic Modal logic Non-classical logic Epistemic modal logic Common knowledge Kripke semantics Prisoner of war Counter Partition Logic Mathematics Mathematical logic
796	Common Knowledge in Update Logics Johan van Benthem∗, Jan van Eijck†and Barteld Kooi‡ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 10:45:46 Non-classical logic Epistemic modal logic Model theory Common knowledge Logic programming Logic Philosophical logic Modal logic
797	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
798	Microsoft Word - Science-FINAL.doc Add to Reading List Source URL: www.wvfa.org Language: English - Date: 2009-07-21 10:49:27 Philosophical logic Tree Forestry Modal logic Non-classical logic
799	Microsoft Word - Science-FINAL.doc Add to Reading List Source URL: www.wvfa.org Language: English - Date: 2009-07-21 10:48:51 Modal logic Non-classical logic Philosophical logic
800	Dynamic Epistemic Logics Jan van Eijck Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2013-12-13 11:13:35 Philosophical logic Model theory Metalogic Non-classical logic Epistemic modal logic Kripke semantics Common knowledge Doxastic logic First-order logic Logic Mathematical logic Modal logic

UPDATE